ASM 组包含用于验证分析空间模型 (ASM) 的工具。